منابع مشابه
Security Engineering towards Building a Secure Software
Information Systems Security is one of the most critical challenges presently facing nearly every one of the organizations. However, making certain security and quality in both information and the systems which control information is a difficult goal necessitating the mixture of two wide research disciplines which are typically separate: security engineering and secure software engineering. Sec...
متن کاملTowards Building Secure Software Systems
Software security breaches are now very extremely common and a larger percentage is caused by software design defects. Since individuals and organizations now completely depend on software systems for their day-to-day operations, it is then important to produce secure software products. This paper discusses the problems of producing secure software products and provides a model for improving so...
متن کاملTowards Provably Secure Software Attestation
Software attestation has become a popular and challenging research topic at many established security conferences. It aims for verifying the software integrity of (typically) resource-constrained embedded devices. However, for practical reasons, software attestation cannot rely on stored cryptographic secrets or dedicated trusted hardware. Instead, it exploits side-channel information, such as ...
متن کاملCleanroom Software Engineering : Towards High - Reliability Software
w w w . i j c s t . c o m InternatIonal Journal of Computer SCIenCe & teChnology 91 Abstract The software industry is in switch over from craft work to engineering practice, but development, operational and maintenance outlays are still capricious and dearer. In the present scenario of software industry there are certain factors that very critical for the success of software. These days there a...
متن کاملSecure Software Systems Engineering: The Secure Tropos Approach (Invited Paper)
This paper discusses the secure Tropos methodology. This is the first paper in the literature that discusses all the aspects of the methodology as it has evolved over the last 10 years. In particular, the paper discusses the Secure Tropos modeling language, the security aware process of the methodology, and it also introduces the secTro, an automated tool to support the methodology.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: South Asian Research Journal of Engineering and Technology
سال: 2020
ISSN: 2664-4150,2664-794X
DOI: 10.36346/sarjet.2020.v02i06.001